Über die allgemeinen algebraischen Systeme, V
نویسندگان
چکیده
منابع مشابه
Konfigurierung eingebetteter Systeme mit Wissen über die Struktur und das Zustandsverhalten der Konfigurationsobjekte
Kurzfassung. Mit zunehmender Komplexität und zunehmendem Funktionsumfang von konfigurierbaren Produkten steigt die Notwendigkeit, Wissen über Funktionen und Verhalten im Domänenmodell für eine wissensbasierte Konfigurierung zu berücksichtigen. Dies gilt insbesondere für viele Anwendungsgebiete der Konfigurierung eingebetteter Systeme. Es wird hier eine Methodik vorgestellt, die den Einsatz von ...
متن کاملBericht über die GWAI'90
Worten: elf) aus der (zur Zeit der Abfassung des Berichts) "Noch-DDR" (ich hoffe, daß Ingrid Matthäus-Meier Recht behält, die einmal anläßlich einer Parlamentsdebatte gesagt hat: "Ein Kennzeichen der deutschen Sprache ist ihre Unkaputtmachbarkeit.").
متن کاملTransformation objektorientierter Systeme basierend auf algebraischen Graph-Transformationen
Since the beginning of software development, making existing software conformant to new demands has always been an important topic. The extension of software by new functionality is facilitated or even made possible by software refactoring: improving the structure of software without changing its behaviour in order to implement additional functionality more easily. Unfortunately, the transforma...
متن کاملDie Schwachstellen virtueller Systeme
Holger Engelland, Manager Data Recovery Engineering bei Kroll Ontrack, erklärt die Risiken der Virtualisierung und erläutert Best Practices bei Datenverlust. 1 Vorteile der Virtualisierung Unter Virtualisierung versteht man eine Software-Technologie, die unsere ITLandschaft verwandelt und einschneidende Veränderungen der Computing-Umgebung zur Folge hat. Während die gängige Computer-Hardware in...
متن کاملÜber die Präzision interprozeduraler Analysen
In this work, we examine two approaches to interprocedural data-flow analysis of Sharir and Pnueli in terms of precision: the functional and the call-string approach. In doing so, not only the theoretical best, but all solutions are regarded which occur when using abstract interpretation or widening additionally. It turns out that the solutions of both approaches coincide. This property is pres...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the Japan Academy, Series A, Mathematical Sciences
سال: 1943
ISSN: 0386-2194
DOI: 10.3792/pia/1195573626